Hamman P., Blanc M., Duchêne-Lacroix C., Freytag T.,
نویسندگان
چکیده
منابع مشابه
T D C C P-c M C M
A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...
متن کاملP I C C P M
Hilbert’s original aim, to show the consistency of the use of such ideal elements by finitistic means, which would suffice to eliminate these ideal elements from proofs of purely universal (‘real’) theorems (‘Hilbert’s program’), turned out to be impossible for theories containing a sufficient amount of number theory by K. Gödel’s 2nd incompleteness theorem. Nevetheless, various partial realiza...
متن کاملS E R U M Levels of Second C O M P O N E N T of C O M P L E M E N T in Cancer P a T I E N T S 1
Awareness that advancing cancer is often accompanied by defective imnmnologic responses, and accumulating evidence that immune reactions may influenee the course of cancer, has stimulated the study of various meehanisms of immunologic reaction in patients with cancer. As part of such a program we have determined the serum level of the second component of complement in a group of cancer patients...
متن کاملT C C P
This article is an overview of the recent developments of a theory originally introduced by Leifer and Milner: given a formalism with a reduction semantics, a canonical labelled transition system is derived on which bisimilarity as well as other other equivalences are congruences, provided that the contexts of the formalism form the arrows of a category which has certain colimits. We shall also...
متن کاملT C P C C++
Using a C++ compiler, any partial recursive function can be computed at compile time. We show this by using the C++ template mechanism to define functions via primitive recursion, composition, and μ-recursion.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Recherches sociologiques et anthropologiques
سال: 2015
ISSN: 1782-1592,2033-7485
DOI: 10.4000/rsa.1560